Nuprl Definition : rec_ind def
13,42
postcript
pdf
rec_ind(
A
;
x
,
y
.
B
(
x
;
y
)) is Primitive
latex
Up
core
1
,
core
1
origin